A key on a personal computer or terminal keyboard used in combination to modify the function of other keys; normally labelled "Ctrl"